Union Closed Set Conjecture and Maximum Dicut in Connected Digraph
نویسندگان
چکیده
In this dissertation, we study the following two topics, i.e., the union closed set conjecture and the maximum edges cut in connected digraphs. The union-closed-set-conjecture-topic goes as follows. A finite family of finite sets is union closed if it contains the union of any two sets in it. Let XF = ∪F∈FF . A union closed family of sets is separating if for any two distinct elements in F , there is a set in F containing one of them, but not the other and there does not exist an element which is contained in every set of it. Note that any union closed family F is a poset with set inclusion as the partial order relation. A separating union closed family F is irreducible (normalized) if |XF | is the minimum (maximum, resp.) with respect to the poset structure of F . In the part of dissertation related to this topic, we develop algorithms to transfer any given separating union closed family to a/an normalized/irreducible family without changing its poset structure. We also study properties of these two extremal union closed families in connection with the Union Closed Sets Conjecture of Frankl. Our result may lead to potential full proof of the union closed set conjecture and several other conjectures. The part of the dissertation related to the maximum edge cuts in connected digraphs goes as follows. In a given digraph D, a set F of edges is defined to be a directed cut if there is a nontrivial partition (X, Y ) of V (D) such that F consists of all the directed edges from X to Y . The maximum size of a directed cut in a given digraph D is denoted by Λ(D), and we let D(1, 1) be the set of all digraphs D such that d(v) = 1 or d−(v) = 1 for every vertex v in D. In this part of dissertation, we prove that Λ(D) ≥ 3 8 (|E(D)| − 1) for any connected digraph D ∈ D(1, 1), which provides a positive answer to a problem of Lehel, Maffray, and Preissmann. Additionally, we consider triangle-free digraphs in D(1, 1) and answer their
منابع مشابه
Frankl's Conjecture for a subclass of semimodular lattices
In this paper, we prove Frankl's Conjecture for an upper semimodular lattice $L$ such that $|J(L)setminus A(L)| leq 3$, where $J(L)$ and $A(L)$ are the set of join-irreducible elements and the set of atoms respectively. It is known that the class of planar lattices is contained in the class of dismantlable lattices and the class of dismantlable lattices is contained in the class of lattices ha...
متن کاملSufficient conditions on the zeroth-order general Randic index for maximally edge-connected digraphs
Let D be a digraph with vertex set V(D) .For vertex v V(D), the degree of v, denoted by d(v), is defined as the minimum value if its out-degree and its in-degree . Now let D be a digraph with minimum degree and edge-connectivity If is real number, then the zeroth-order general Randic index is defined by . A digraph is maximally edge-connected if . In this paper we present sufficient condi...
متن کاملThe Path Partition Conjecture for Oriented Graphs
The vertex set and arc set of a digraph D are denoted by V (D) and E (D), respectively, and the number of vertices in a digraph D is denoted by n (D). A directed cycle (path, walk) in a digraph will simply be called a cycle (path, walk). A graph or digraph is called hamiltonian if it contains a cycle that visits every vertex, traceable if it contains a path that visits every vertex, and walkabl...
متن کاملSpanning a strong digraph by α circuits: A proof of Gallai’s conjecture
In 1963, Tibor Gallai [9] asked whether every strongly connected directed graph D is spanned by α directed circuits, where α is the stability of D. We give a proof of this conjecture. 1 Coherent cyclic orders. In this paper, circuits of length two are allowed. Since loops and multiple arcs play no role in this topic, we will simply assume that our digraphs are loopless and simple. A directed gr...
متن کاملCovering a Strong Digraph by -1 Disjoint Paths: A Proof of Las Vergnas' Conjecture
The Gallai-Milgram theorem states that every directed graph D is spanned by α(D) disjoint directed paths, where α(D) is the size of a largest stable set of D. When α(D) > 1 and D is strongly connected, it has been conjectured by Las Vergnas (cited in [1] and [2]) that D is spanned by an arborescence with α(D)− 1 leaves. The case α = 2 follows from a result of Chen and Manalastas [5] (see also B...
متن کامل